mapf f [] = []
mapf f (x:xs) = f x : mapf f xs
-- numbers = [7,9,13]
-- inc x = x + 1
-- more_numbers = map inc numbers
